introducing and containing- formal evaluating “bases of politics”

synthesis and characterization of some macrocyclic schiff bases

ماکروسیکلهای شیف باز از اهمیت زیادی در شیمی آلی و دارویی برخوردار می باشند. این ماکروسیکلها با دارابودن گروه های مناسب در مکانهای مناسب می توانند فلزاتی مثل مس، نیکل و ... را در حفره های خود به دام انداخته، کمپلکسهای پایدار تولید نمایند. در این پایان نامه ابتدا یک دی آلدئید آروماتیک از گلیسیرین تهیه می شود و در مرحله بعدی واکنش با دی آمینهای آروماتیک و یا آلیفاتیک در رقتهای بسیار زیاد منجر به ت...

Formal Theory for Comparative Politics∗

Introducing Formal Verification with LEGO

“In the end, you are a mathematician, not a computer scientist” or “Have we not already discovered everything in computer science?”. Which theoretical computer scientist has not heard a similar sentence when trying to explain their research to a layperson? Promotion of theoretical computer science, and formal methods in particular, is mainly hindered by the high level of abstraction commonly us...

Introducing Logic and Formal Methods with Coq

During the past three years we have been integrating mechanized theorem proving into a traditional introductory course on formal methods. We explain our goals for adding mechanized provers to the course, and illustrate how we have integrated the provers into our syllabus to meet those goals. We also document some of the teaching materials we have developed for the course to date, and what our e...

synthesis and characterization of some new cyclometalated organoplatinum(ii) complexes containing phosphite ligand

در این تحقیق روشی جهت سنتز یک سری از کمپلکس های پلاتین (ii) حاوی لیگاند های دهنده ی فسفری شامل فسفیت و فسفین ارائه شده است. واکنش پیش ماده ی پلاتین (ii)،trans/cis- [ptcl2(sme2)2] ، با 2 اکی مولار از لیگاند p(oph)3در حلال بنزن کمپلکس1، cis-[ptcl2(p(oph)3)2] را تولید می نماید. جهت سنتز کمپلکس سایکلو متال فسفیتی، کمپلکس 1 با 1 اکی والان واکنشگر ptcl2 در حلال زایلن در شرایط رفلاکس زیر گاز آرگون م...

Introducing Dynamic Behavior in Amalgamated Knowledge Bases

The problem of integrating knowledge from multiple and heterogeneous sources is a fundamental issue in current information systems. In order to cope with this problem, the concept of mediator has been introduced as a software component providing intermediate services, linking data resources and application programs, and making transparent the heterogeneity of the underlying systems. In designin...